проверка при граничных условиях — bias check
контроль при граничных условиях — marginal check
проверка граничных условий данных — data boundary check
Русско-английский словарь по информационным технологиям. 2015.
верификатор условий — Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях. [Домарев В.В. Безопасность… … Справочник технического переводчика
автоматический верификатор — Схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [http://www.morepc.ru/dict/] Тематики информационные технологии в целом EN mechanical verifier … Справочник технического переводчика
